Representation and Analysis of Reactive Behaviors: A Synchronous Approach
نویسنده
چکیده
Reactive systems involve communication, concurrency and preemption. Few models support these three concepts, even less can correctly deal with their coexistence. The synchronous paradigm allows a rigourous approach to this problem, crucial to reactive systems. This paper analyzes the underlying hypotheses of the synchronous approach. Reactive behaviors are characterized. A new visual model (SYNCCHARTS) is then proposed. This graphical model is fully compatible with the imperative synchronous language ESTEREL and is specially convenient to express complex reactive behaviors.
منابع مشابه
Power Swings Damping Improvement with STATCOM and SMES Based on the Direct Lyapunov Method
In this paper a comprehensive approach is presented to improve power swings damping based on direct Lyapunov method. The approach combines superconducting magnetic energy storage (SMES) system with static synchronous compensator (STATCOM). Considering the energy absorption/injection ability of SMES, in transient states the combination exchanges both active and reactive powers with power system....
متن کاملThe Role of Self-Regulation Behaviors in Prediction of Perception of Interpersonal Reactive in the Prisoners with Antisocial Personality Disorder
Introduction: Studies show that self-regulation is introduced for beginning to interpersonal skills and empathy. The purpose of the present research was to determine the role of self-regulation behaviors in prediction of perception of interpersonal reactive in the prisoners with antisocial personality disorder. Method: This research is correlational. The statistical population of this study was...
متن کاملExplaining the Methods of Architecture Representation Using Semiotic Analysis (Umberto Eco's Theory of Architecture Codes)
: In this paper, it is tried to explain the concept of representation and architectural representation through a qualitative methodology, approach its procedure for gradual creation in architecture and then according to scholars and to obtain the effect of this concept in the process of architectural facts the concepts are presented. In addition, it is referred to theories and practical texts b...
متن کاملاستفاده از نمایش پراکنده و همکاری دوربین‌ها برای کاربردهای نظارت بینایی
With the growth of demand for security and safety, video-based surveillance systems have been employed in a large number of rural and urban areas. The problem of such systems lies in the detection of patterns of behaviors in a dataset that do not conform to normal behaviors. Recently, for behavior classification and abnormal behavior detection, the sparse representation approach is used. In thi...
متن کاملModified Impedance-Based OOS Protection Based on On-Line Thévenin Equivalent Estimation
In this paper, a novel approach based on the Thévenin tracing is presented to modified conventional impedance-based out-of-step (OOS) protection. In conventional approach, the OOS detection is done by measuring positive sequence impedance. However, the measured impedance may be change due to different factors such as capacitor bank switching and reactive power compensators that it can cause the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996